Bézout's identity Proof